翻訳と辞書
Words near each other
・ Linear Arithmetic synthesis
・ Linear atrophoderma of Moulin
・ Linear B
・ Linear B (album)
・ Linear B Ideograms
・ Linear B Syllabary
・ Linear belief function
・ Linear bottleneck assignment problem
・ Linear bounded automaton
・ Linear canonical transformation
・ Linear castle
・ Linear circuit
・ Linear city
・ Linear classifier
・ Linear code
Linear code sequence and jump
・ Linear combination
・ Linear combination of atomic orbitals
・ Linear complementarity problem
・ Linear complex structure
・ Linear compressor
・ Linear congruential generator
・ Linear connection
・ Linear continuum
・ Linear cryptanalysis
・ Linear density
・ Linear dichroism
・ Linear differential equation
・ Linear diode array
・ Linear discriminant analysis


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Linear code sequence and jump : ウィキペディア英語版
Linear code sequence and jump
Linear code sequence and jump (LCSAJ), in the broad sense, is a software analysis method used to identify structural units in code under test. Its primary use is with dynamic software analysis to help answer the question "How much testing is enough?".〔M.A.Hennell, D.Hedley and M.R.Woodward, "Quantifying the test effectiveness of Algol 68 programs", Proceedings of the Strathclyde ALGOL 68 conference 1977, pp. 36 – 41, ISSN 0362-1340〕 Dynamic software analysis is used to measure the quality and efficacy of software test data, where the quantification is performed in terms of structural units of the code under test. When used to quantify the structural units exercised by a given set of test data, dynamic analysis is also referred to as coverage analysis.
In a narrower sense, an LCSAJ is a well-defined linear region of a program's code. When used in this sense, LCSAJ is also called JJ-path, standing for jump-to-jump path.
==History==
The LCSAJ analysis method was devised by Professor Michael Hennell in order to perform quality assessments on the mathematical libraries on which his nuclear physics research at the University of Liverpool depended.〔M. A. Hennell, ''An experimental testbed for numerical software. . '', The Computer Journal 21(4):333--336, @nov, 1978〕〔M. A. Hennell and D. Hedley, ''An experimental testbed for numerical software. . '', The Computer Journal 22(1):53--56, @feb, 1979〕 Professor Hennell later founded the Liverpool Data Research Associates (LDRA) company to commercialize the software test-bed produced for this work, resulting in the LDRA Testbed product.
Introduced in 1976, the LCSAJ〔M.A. Hennell, M.R.Woodward and D.Hedley, "On program analysis", Information Processing Letters, 5(5), pp. 136 – 140, 1976〕 is now also referred to as the jump-to-jump path (JJ-path).〔M. R. Woodward, M. A. Hennell, "On the relationship between two control-flow coverage criteria: all JJ-paths and MCDC", Information and Software Technology 48 (2006) pp. 433–440〕 It has also been called Liverpool's Contribution to Silly Acronyms and Jokes.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Linear code sequence and jump」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.